8

A trace-based compositional proof theory for fault tolerant distributed systems

Year:
1994
Language:
english
File:
PDF, 2.04 MB
english, 1994
9

Compositional reasoning about responsive systems with limited resources

Year:
1994
Language:
english
File:
PDF, 1.45 MB
english, 1994
11

Identification of Object Dynamics Using Hand Worn Motion and Force Sensors

Year:
2016
Language:
english
File:
PDF, 7.92 MB
english, 2016